CatDat

Implication Details

Assumptions: finite copowersself-dual

Conclusions: finite powers

Reason: This holds by self-duality.